La Méditerranée : dernière frontière avant l’Europe

Remarques sur la frontière de martin biharmonique et la représentation intégrale des fonctions biharmoniques

Soit (Ω, ) un espace biharmonique fort au sens de Smyrnelis dont les espaces harmoniques associés sont des espaces de Brelot qui vérifient l’axiome de proportionnalité. On montre que s’il existe un couple -harmonique > 0 surΩ, alors l’ensemble des points minimaux de la frontière de Martin biharmonique deΩ qui ne sont pas les pôles de couples biharmoniques minimaux est négiligeable dans un sens ...

Apprendre à ordonner la frontière de crawl pour le crawling orienté

Focused crawling consists in searching and retrieving a set of documents relevant to a specific domain of interest from the Web. Such crawlers prioritize their fetches by relying on a crawl frontier ordering strategy. In this article, we propose to learn this ordering strategy from annotated data using learning-to-rank algorithms. Such approach allows us to cope with tunneling and to integrate ...

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Éditorial: Notre rassemblement de points de vue du pourtour de la Méditerranée en juin 1991